Electronic Design - PDFSEARCH.IO - Document Search Engine

Electronic Design
Results: 7388

#	Item
351	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
352	Sr. Electronics Engineer Ridgetop Group seeks a Senior Electronics Engineer to contribute to the research and development of innovative component- and system-level diagnostic and prognostic solutions at its headquarters Add to Reading List Source URL: www.ridgetopgroup.com Language: English - Date: 2015-07-18 01:30:07 Computer engineering Electronic engineering Survival analysis Maintenance Prediction Prognostics LabVIEW Systems engineering Electrical engineering Circuit design Tucson Arizona Engineering
353	Hardware Synthesis using SAFL and Application to Processor Design (Invited Talk) Alan Mycroft1,2 and Richard Sharp1 1 Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Subroutines Hardware description languages Electronic design automation Electronic engineering High-level synthesis Hardware verification languages Verilog VHDL Logic synthesis Inline expansion Parameter Recursion
354	A program of the Green Electronics Council EPEAT Manufacturer Update: July 27, 2015 In this issue Training Postponed Add to Reading List Source URL: www.epeat.net Language: English - Date: 2015-11-16 16:20:31 Environmental design Electronic Product Environmental Assessment Tool Green Electronics Council Personal computer
355	"What Does a Computer Simulation Have to Reproduce? The Case of VMWare" Introduction The VMWare products and other virtualization and emulation technologies are not new (VMWare itself dates from the 1990s; emulation in a Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2010-08-13 21:51:26 Turing machine Philosophy of mind Philosophy of technology Electronic design automation Operations research Simulation Emulator Virtualization Computability Virtual machine Computer simulation Computer
356	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus
357	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Design considerations on wideband envelope termination for high efficiency RF power amplifiers Chung, S.; Ma, R.; Teo, K.H. Add to Reading List Source URL: www.merl.com Language: English - Date: 2016-07-01 10:01:55 Electronic circuits Linear filters Radio electronics Amplifiers Multiplexing Amplifier Envelope tracking RF power amplifier Q factor Bandwidth Orthogonal frequency-division multiplexing Electronic filter
358	Green Electronics Council Registry Services Department Complaints and Appeals Procedure Add to Reading List Source URL: www.epeat.net Language: English - Date: 2015-11-20 12:59:20 Electronic Product Environmental Assessment Tool Environmental design Complaint
359	Future of simulations Rinka van Dommelen Department of Physics of the Built Environment Eindhoven University of Technology Add to Reading List Source URL: bimserver.org Language: English - Date: 2013-08-09 07:23:04 Architecture Building engineering Electronic design automation Scientific modeling Operations research Simulation Scientific modelling Building information modeling Building energy simulation Computer simulation Predictive engineering analytics
360	PHY3128 / PHYM203 (Electronics / Instrumentation) Transmission lines Transmission Lines Introduction Add to Reading List Source URL: newton.ex.ac.uk Language: English - Date: 2010-02-16 09:56:30 Physical quantities Electronic design Filter theory Analog circuits Signal cables Characteristic impedance Transmission line Impedance matching Standing wave ratio Electrical impedance Input impedance Quarter-wave impedance transformer

UPDATE